13.85/13.93	unsat
