39.41/40.25	unsat
