49.40/50.80	unsat
