16.55/16.68	unsat
