6.56/8.94	unsat
