12.54/16.02	unsat
