2.28/2.54	unsat
