4.77/6.50	unsat
