12.85/14.93	unsat
