4.27/6.50	unsat
