6.89/13.82	unsat
