12.76/13.17	unsat
