23.48/38.90	unsat
