12.25/15.47	unsat
