5.68/6.50	unsat
