6.56/8.12	unsat
