38.91/39.04	unsat
