16.55/16.67	unsat
