1.29/5.50	unsat
