40.43/40.58	unsat
