13.27/17.92	unsat
