12.47/15.54	unsat
