6.79/8.26	unsat
