12.87/16.36	unsat
