14.16/16.34	unsat
