39.69/40.02	unsat
