6.08/13.77	unsat
