13.96/16.10	unsat
