3.98/5.50	unsat
