40.11/40.66	unsat
