12.76/13.24	unsat
