13.96/14.10	unsat
