48.46/48.60	unsat
