6.88/13.30	unsat
