7.69/13.96	unsat
