12.68/13.75	unsat
