12.68/13.46	unsat
