12.68/12.86	unsat
