47.43/47.69	unsat
