6.58/10.28	unsat
