39.31/40.66	unsat
