10.16/13.84	unsat
