12.76/12.86	unsat
