13.67/13.77	unsat
