13.76/16.50	unsat
