36.72/42.04	unsat
