12.85/14.18	unsat
