13.45/14.70	unsat
