13.06/16.92	unsat
