39.87/40.17	unsat
