6.97/13.24	unsat
