4.68/8.07	unsat
