47.61/49.24	unsat
