12.17/15.54	unsat
