39.75/40.20	unsat
