12.66/13.92	unsat
