6.79/8.56	unsat
