13.68/16.70	unsat
