12.28/15.64	unsat
