16.59/16.67	unsat
