16.54/16.67	unsat
