10.16/14.68	unsat
