13.69/13.77	unsat
