6.79/10.52	unsat
