12.76/14.92	unsat
