16.35/16.95	unsat
