10.66/13.68	unsat
