40.85/42.84	unsat
