12.96/15.59	unsat
