39.34/40.73	unsat
