38.23/40.49	unsat
