4.68/6.30	unsat
