13.96/16.92	unsat
