47.40/47.51	unsat
