49.40/49.50	unsat
