13.77/19.70	unsat
