14.76/16.59	unsat
