6.77/8.94	unsat
