40.87/43.02	unsat
