5.29/5.50	unsat
