40.19/40.41	unsat
