12.75/14.70	unsat
