40.00/43.20	unsat
