38.19/40.11	unsat
