6.97/10.56	unsat
