50.00/50.60	unsat
