14.36/16.95	unsat
