48.12/50.60	unsat
