13.16/13.68	unsat
