5.68/8.52	unsat
