40.72/42.36	unsat
