39.22/40.81	unsat
