40.29/40.36	unsat
